acm sigbed
|
emsoft
|
participants
Íñigo Íncer Romeo
EMSOFT 2019: 19th International Conference on Embedded Software
Coherent Extension, Composition, and Merging Operators in Contract Models for System Design
Roberto Passerone
,
Íñigo Íncer Romeo
, and
Alberto L. Sangiovanni-Vincentelli
10.1145/3358216
http://disi.unitn.it/~roby/pdfs/PasseroneRomeoASV19TECS.pdf